Lookup table - PDFSEARCH.IO - Document Search Engine

Lookup table
Results: 775

#	Item
371	A New Enhanced Constructive Decomposition and Mapping Algorithm Alan Mishchenko Xinning Wang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-03-28 23:46:48 Mathematics Binary decision diagram Model checking Computer programming Decomposition Lookup table Decomposition method Boolean algebra Computing Diagrams
372	Microsoft Word - imfs27.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-12-20 12:21:03 Formal methods Mathematics Logic Boolean algebra Diagrams And-inverter graph Boolean satisfiability problem Canonical form Lookup table Theoretical computer science Computing Electronic design automation
373	LUTMIN: FPGA Logic Synthesis with MUX-Based and Cascade Realizations Tsutomu Sasao 1 and Alan Mishchenko[removed]Dept. of Computer Science and Electronics, Kyushu Institute of Technology, Iizuka[removed], Japan Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-07-09 02:20:06 Boolean algebra Diagrams Field-programmable gate array Binary decision diagram Lookup table Xilinx Multiplexer Artificial neuron Function Computing Mathematics Electronic engineering
374	社団法人電子情報通信学会 THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS 信学技報 TECHNICAL REPORT OF IEICE Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-11-23 21:54:00 Computing Diagrams Binary decision diagram Model checking Electronic design automation Lookup table Boolean function Field-programmable gate array Canonical form Mathematics Boolean algebra Electronic engineering
375	Don Lancaster’s Bouncy brick secrets Privatizing mil surplus Bogus water powered cars Reducing table lookup sizes Add to Reading List Source URL: www.tinaja.com Language: English Hydrogen production Hydrogen technologies Hydrogen economy Electrolysis Emerging technologies Don Lancaster Electrolysis of water Synergetics Hydrogen Chemistry Physics Technology
376	Value Ordering for Finding All Solutions Barbara M. Smith Cork Constraint Computation Centre, Ireland. [removed] Abstract Add to Reading List Source URL: ijcai.org Language: English - Date: 2005-07-11 15:45:16 Computing Local consistency Constraint satisfaction Backjumping Backtracking Search algorithm Lookup table Decomposition method Constraint optimization Constraint programming Computer programming Software engineering
377	Parallelizing large-scale data processing applications with data skew: a case study in product-offer matching ∗ Ekaterina Gonina Add to Reading List Source URL: budiu.info Language: English - Date: 2014-06-23 01:38:59 MapReduce Apache Hadoop Data mining Database Computer cluster Record linkage Algorithm Lookup table Speedup Computing Concurrent computing Parallel computing
378	Encoding of Boolean Functions and Its Application to LUT Cascade Synthesis Alan Mishchenko Department of ECE Portland State University Portland, OR 97207, USA [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-15 21:59:58 Boolean algebra Character encoding Binary decision diagram Diagrams Model checking Canonical form Lookup table String Code Computing Computer programming Software engineering
379	Mobile Networks and Applications[removed]–[removed]Per-user profile replication in mobile environments: Algorithms, analysis, and simulation results ∗ Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2001-06-19 20:05:24 Data synchronization Replication Distributed computing architecture Distributed database Lookup table Computing Computer storage Fault-tolerant computer systems
380	RAQSOFT http://www.raqsoft.com Innovation Makes Progress Case Add to Reading List Source URL: www.raqsoft.com Language: English - Date: 2015-01-13 21:25:33 Lookup table Software optimization Computer programming Computing Arrays Computer performance

UPDATE